VERSION=1.0
BOPBDDDIR = bopbdd$(VERSION)

all : muxtree muxlist bddbomber bopbdd

package :
	mkdir -p $(BOPBDDDIR)
	cp -t $(BOPBDDDIR) bopbddtools.ml bopbdd.ml README check.bop bddchecker.bpo
	cp bopbddMakefile $(BOPBDDDIR)/Makefile
	tar -czf bopbdd$(VERSION).tar.gz $(BOPBDDDIR)

install :
	cp -t $(BEBOPDIR)/bin bopbdd

bopbdd : bopbddtools.cmx bopbdd.ml
	ocamlopt -o bopbdd unix.cmxa graphics.cmxa -I $(BEBOPDIR)/boplibs bplib.cmxa bopbddtools.cmx bopbdd.ml	

muxlist : bopbddtools.cmx muxlist.ml
	ocamlopt -o muxlist unix.cmxa graphics.cmxa -I $(BEBOPDIR)/boplibs bplib.cmxa bopbddtools.cmx muxlist.ml

muxtree : bopbddtools.cmx muxtree.ml
	ocamlopt -o muxtree unix.cmxa graphics.cmxa -I $(BEBOPDIR)/boplibs bplib.cmxa bopbddtools.cmx muxtree.ml

bddbomber : bddbomber.ml
	ocamlopt -o $@ unix.cmxa graphics.cmxa -I $(BEBOPDIR)/boplibs bplib.cmxa $<

bopbddtools.cmx : bopbddtools.ml
	ocamlopt -c unix.cmxa graphics.cmxa -I $(BEBOPDIR)/boplibs bplib.cmxa bopbddtools.ml

clean :
	rm -f *.cmi *.cmx *.o

clean_exe :
	rm -f muxtree muxlist bddbomber
